Groupe nominal

Equipe EEA - Groupe TROP

Three neural structures dedicated to continuous function approximation are evaluated and compared with a view to the implementation of an adaptive kinematic approach for vision-based robotic control. This approach is using an iterative method of nonlinear mapping inversion, developed by S. Lee and R.M. Kil, and based on the pseudo-inverse of the gradient of a Lyapunov function. This method assu...

Sur le groupe d’interpolation

Résumé : Nous étudions le groupe d’interpolation dont les éléments sont certaines paires de séries formelles. Ce groupe possède une représentation linéaire fidèle dans les matrices triangulaires inférieures infinies. On peut donc le munir d’une structure de groupe de Lie naturelle. Une fonction reliée à l’exponentielle matricielle entre son algèbre de Lie et sa représentation linéaire étend alo...

Groupe de Travail

En 1982, Richard Hamilton [H] a démontré qu’une variété compacte de dimension 3 admettant une métrique riemannienne de courbure de Ricci > 0 admet aussi une métrique sectionnelle de courbure constante positive, i.e. une métrique sphérique . La technique utilisée, qui est reprise par G. Perelman, consiste à déformer la métrique initiale par le flot dit de Ricci. La plupart des difficultés se ret...

Combinatoire autour du groupe symétrique

Closed nominal rewriting and efficiently computable nominal

We analyse the relationship between nominal algebra and nominal rewriting, giving a new and concise presentation of equational deduction in nominal theories. With some new results, we characterise a subclass of equational theories for which nominal rewriting provides a complete and efficient procedure to check nominal algebra equality. This subclass includes specifications of lambda-calculus an...